E (SETQ $PRINT-BUDGET-MONTHLY t) READ (SALARY IN DSK (PRO HE)) READ (nasa IN DSK (PRO HE)) BUDGET first-year (nasa OUT DSK (PRO HE))